Refine your search
- Availability
-
Authors
- BIRO, C. (1)
- CERVONI, L. (1)
- EBBINGHAUS, H. D. (1)
- GABBAY, Dov M. (1)
- ROBINSON, J. A. (1)
- Show more
-
Locations
-
Series
-
Topics
- Cálculo (1)
- Inteligência artificial (2)
- Lógica matemática (4)
- Programação lógica (4)
- Técnicas de programação (1)
- Show more